miqp mixed integer unconstrained large scale optimization mathematical programming mip solver integer programming